翻訳と辞書 Words near each other ・ Trichotithonus ・ Trichotithonus albidus ・ Trichotithonus albosetosus ・ Trichotithonus conspectus ・ Trichotithonus curvatus ・ Trichotithonus tavakiliani ・ Trichotithonus tenebrosus ・ Trichotithonus venezuelensis ・ Trichotithonus viridis ・ Trichotomine ・ Trichotomoxia ・ Trichotomoxia chubbi ・ Trichotomoxia demarzi ・ Trichotomoxia grosseantennalis ・ Trichotomy ・ Trichotomy (mathematics) ・ Trichotomy (philosophy) ・ Trichotomy theorem ・ Trichotosia ・ Trichotoxon ・ Trichotoxon martensi ・ Trichotrimicra ・ Trichotroea semiflava ・ Trichotropis ・ Trichotropis bicarinata ・ Trichotropis conicus ・ Trichotropis migrans ・ Trichouropoda ・ Trichovelleda rufula ・ Trichovirus Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Trichotomy (mathematics) ： ウィキペディア英語版 Trichotomy (mathematics) In mathematics, the law of trichotomy states that every real number is either positive, negative, or zero.〔http://mathworld.wolfram.com/TrichotomyLaw.html〕 More generally, trichotomy is the property of an order relation on a set ''X'' that for any ''x'' and ''y'', exactly one of the following holds: In mathematical notation, this is : Assuming that the ordering is irreflexive and transitive, this can be simplified to : In classical logic, this axiom of trichotomy holds for ordinary comparison between real numbers and therefore also for comparisons between integers and between rational numbers. The law does not hold in general in intuitionistic logic. In Zermelo–Fraenkel set theory and Bernays set theory, the law of trichotomy holds between the cardinal numbers of well-orderable sets even without the axiom of choice. If the axiom of choice holds, then trichotomy holds between arbitrary cardinal numbers (because they are all well-orderable in that case). More generally, a binary relation ''R'' on ''X'' is trichotomous if for all ''x'' and ''y'' in ''X'' exactly one of ''xRy'', ''yRx'' or ''x''=''y'' holds. If such a relation is also transitive it is a strict total order; this is a special case of a strict weak order. For example, in the case of three element set the relation ''R'' given by ''aRb'', ''aRc'', ''bRc'' is a strict total order, while the relation ''R'' given by the cyclic ''aRb'', ''bRc'', ''cRa'' is a non-transitive trichotomous relation. In the definition of an ordered integral domain or ordered field, the law of trichotomy is usually taken as more foundational than the law of total order. A trichotomous relation cannot be reflexive, since ''xRx'' must be false. If a trichotomous relation is transitive, it is trivially antisymmetric and also asymmetric, since ''xRy'' and ''yRx'' cannot both hold. == See also == * Dichotomy * Law of noncontradiction * Law of excluded middle 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Trichotomy (mathematics)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.